/*
The <allocator.h> header file defines constants and prototypes for the lowest level memory allocator
*/

#ifndef _ALLOCATOR_H
#define _ALLOCATOR_H

/* from lib files */
#include <types.h>


/////
//EXTERN int nr_pages;                 /* Number of memory pages in the system */


/* Functions prototypes */
extern void ivmmAllocator_initialize(void);
extern dword_t ivmmAllocator_AllocatePage(void);
extern void ivmmAllocator_DeallocatePage(dword_t address);
extern void ivmmAllocator_setPageBusy(dword_t address);
extern void ivmmAllocator_setPageFree(dword_t address);

#endif /* _ALLOCATOR_H */
